package controller;

import event.numberevent.NumberEvent;
import event.numberevent.NumberListener;
import event.numberevent.Range;

/**rappresenta una classe che ascolta i cambiamenti del numero degli strati
 * nella mappa corrente
 * 
 * @author koldar
 * @version 1.0
 */
public interface StrataNumberListener extends NumberListener<Integer>,StrataNumberUser{

	@Range(inf = 0, sup = Integer.MAX_VALUE)
	public void totalStrataNumberChanged(NumberEvent<Integer> arg0);
}
